Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• The annual CONVECS seminar was held in Charavines (France) on May 27–29, 2015. The following invited scientists attended the seminar:

  • Eric Jenn (IRT Saint-Exupéry / Thales Avionics) gave on May 27, 2015 a talk entitled “The INGEQUIP Project and the TwIRTee demonstrator”.

  • Alexandre Hamez (IRT Saint-Exupéry) gave on May 29, 2015 a talk entitled “CAESAR.SDD”.

• Chris Myers (University of Utah, USA) visited us from June 8–12, 2015. He gave a talk entitled “An Integrated Verification Architecture” on June 9, 2015.

• Hernan Ponce de Leon (Aalto University, Finland) visited us from June 29 to July 1, 2015. He gave a talk entitled “Unfolding Based Testing for Multithreaded Programs” on June 29, 2015.